Dynamic Slicing: a generic analysis based on a natural semantics format

Slicing analyses have been proposed for diierent programming languages. Rather than deening a new analysis from scratch for each programming language, we would like to specify such an analysis once for all, in a language-independent way, and then specialise it for diierent programming languages. In order to achieve this goal, we propose a notion of natural semantics format and a dynamic slicing analysis format. The natural semantics format formalises a class of natural semantics and the analysis format is a generic, language-independent, slicing analysis. The correctness of the generic analysis is established as a relation between the derivation trees of the original program and the slice. This generic analysis is then instantiated to several programming languages conforming the semantics format (an imperative language, a logic programming language and a functional language), yielding a dynamic slicing analyser for each of these languages. L''lagage dynamique : une analyse ggnnrique basse sur un format de ssmantique naturelle RRsumm : Il existe un certain nombre d'analyses d''lagage pour diiirents langages de programmation. Au lieu de dddnir une nouvelle analyse pour chacun des langages, nous aimerions spciier l'analyse d''lagage inddpendamment du langage considdrr, puis l'instancier plusieurs langages. Pour atteindre cet objectif, nous proposons un format de ssmantique naturelle qui formalise une classe de ssmantiques naturelles et nous dddnissons un format d'analyse dynamique d''lagage qui est ggnnrique au sens oo il est inddpendant du langage. Nous tablissons ensuite la correction de l'analyse ggnnrique d''lagage sous forme de relation entre les arbres de ddrivation du programme initial et du slice (le programme transformm). L'analyse ggnnrique d''lagage est alors instanciie plusieurs langages de programmation (un langage impratif, un langage de programmation logique et un langage fonctionnel) en conformitt avec le format de ssmantique. Nous obtenons par la suite un analyseur dynamique pour chacun de ces langages. Dynamic slicing: a generic analysis based on a natural semantics format 3 1 Introduction